p{-}restrict($f$;$p$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$f$ o p{-}filter($p$)